#!/bin/bash

# collect serveral result and output them

for arg in $*
do
	while [ ! -s "$arg.out" ]; do
		sleep 0.1
	done

	echo "$arg:$(cat $arg.out);"

	rm $arg.out
done
